COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input basic
C00015 ENDMK
C⊗;
\input basic
\magnify{1100}
\font =←cmss12
%\font α←basl30 for xgp
\font α←timman at 8truebp
	% Non-indented paragraphs with blank line between.
\def\blockstyle{	
	\parskip 6 pt plus 6 pt minus 4 pt  % Skip a line between paragraphs.
	\parindent 0pt}			% Don't indent normal paragraphs.
\def\yskip{\penalty-50\vskip 3pt plus 3pt minus 2 pt} 
\def\yyskip{\penalty-100\vskip 6pt plus 6pt minus 4pt}

\def\adx#1:#2\par{\par\halign{\hskip #1##\hfill\cr #2}\par}
\font c←cmr8
\def\dol{$\scriptstyle\$ $}
\def\TEX{\hbox{T\hskip-.1667em\lower.424ex\hbox{E}\hskip-.125em X}}
\def\letterstyle{\:c \baselineskip 10pt \parskip 3pt \parindent 0pt}
\def\nopagenumber{\output{\moveright \margin truein
	\vbox{\moveleft 1truein\page}}}
\def\setmargin#1{\save0\hbox{\hskip 8.5truein\hskip-#1truein\hskip-#1truein}
	\hsize 1wd0\gdef\margin{#1}}
\def\∞#1{\hbox{\sl#1\/}}
\def\.#1{\hbox{\bf#1}}
\def\disleft#1:#2:#3\par{\par\hangindent#1\noindent
			 \hbox to #1{#2 \hfill \hskip .1em}\!#3\par}
\def\display#1:#2:#3\par{\par\hangindent #1 \noindent
			\hbox to #1{\hfill #2 \hskip .1em}\!#3 \par}
\def\Det{\hbox{Det}}
\def\bib{\noindent\hangindent 20pt}
\def\figbox#1:{\vbox{\null\vskip#1\null}}
\def\undertext#1{$\underline{\hbox{#1}}$}
\def\outlineone#1:{\par\hangindent 19pt\noindent
  \hbox to 19 pt{#1\hfill}\!}
\def\outlinetwo#1:{\par\hangindent 38pt\noindent
  \hbox to 38 pt{\hbox to 19pt{\hfill}#1\hfill}\!}
\def\outlinethree#1:{\par\hangindent 57pt\noindent
  \hbox to 57 pt{\hbox to 38pt{\hfill}#1\hfill}\!}
\font t=cmtt \def\tt{\:t}
\def\≡{\chcode'173←12 \chcode'176←12 \chcode'44←12 \chcode'26←12
\chcode'45←12 \chcode'43←12 \chcode'136←12 \chcode1←12 \chcode'134←12
\chcode'36←0 \tt
\def\`{{\char'15}}\def\'{{\char'16}}\def\↓{{\char'175}}
	\def\≤{\spose~<}\def\≥{\spose~>}\def\∞{∃}}
\def\\{\chcode'176←2 }
\uchyph 1 % hyphenate Capital letter words
\chcode'27←13 \def↔{\ifmmode{\mathrel{\char'444}}\else{\penalty999\ } }
	% make ↔ tie two words together except in math mode

\setmargin{1.5}

\def\jmcletterhead
	{\vbox to 80pt{\hbox to size
	{\:= \hfill STANFORD UNIVERSITY \hfill}
	 \hbox to size
	   {\:= \hfill STANFORD, CALIFORNIA 94305 \hfill}
	   \vskip 11pt plus 80pt
	   \hbox to size 
 	      {\:α JOHN McCARTHY \hfill}
	   \vskip 1pt
	   \hbox to size 
	      {\:α Professor of Computer Science \hfill Telephone:\quad}
	   \vskip -2pt
	   \hbox to size
	      {\:α Department of Computer Science \hfill (415) 497-4430}
	 }
        \yskip	% skip some space

\blockstyle
\nopagenumber}


\def\fflletterhead
	{\vbox to 80pt{\hbox to size
	{\:= \hfill STANFORD UNIVERSITY \hfill}
	 \hbox to size
	   {\:= \hfill STANFORD, CALIFORNIA 94305 \hfill}
	   \vskip 11pt plus 80pt
	   \hbox to size 
	      {\:α FRANCES LARSON \hfill Telephone:\quad}
	   \vskip 1pt
	   \hbox to size
	      {\:α Department of Computer Science \hfill (415) 497-2800}
	 }
        \yskip	% skip some space

\blockstyle
\nopagenumber}


\def\dgletterhead
	{\vbox to 80pt{\hbox to size
	{\:= \hfill STANFORD UNIVERSITY \hfill}
	 \hbox to size
	   {\:= \hfill STANFORD, CALIFORNIA 94305 \hfill}
	   \vskip 11pt plus 80pt
	   \hbox to size 
	      {\:α DAN GREENE  \hfill Telephone:\quad}
	   \vskip 1pt
	   \hbox to size
	      {\:α Department of Computer Science \hfill (415) 497-4425}
	 }
        \yskip	% skip some space

\blockstyle
\nopagenumber}